elimination of arbitrary constants